Logical machine